Combinatory logic is a notation to eliminate the need for variables in mathematical logic. It was introduced by Moses Sch?nfinkel and Haskell Curry and has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages.
combinatory logicとは意味:combinatory logic 結合論理學 combinatory logic meaning:[Computer] < logic > A system for reducing the operational notation of logic , mathematics or a functional language to a sequence of modifications to the input data structure. First introd...combinatory logic перевод:комбинаторная логика